Generation and Verification of Algorithms for Symbolic-Numeric Processing

simulation and design of electronic processing circuit for restaurants e-procurement system

the poor orientation of the restaurants toward the information technology has yet many unsolved issues in regards to the customers. one of these problems which lead the appeal list of later, and have a negative impact on the prestige of the restaurant is the case when the later does not respond on time to the customers’ needs, and which causes their dissatisfaction. this issue is really sensiti...

Symbolic-Numeric Algebra for Polynomials

Symbolic Execution Algorithms for Test Generation

of the Dissertation Symbolic Execution Algorithms for Test Generation

An environment for Symbolic and Numeric Computation

We describe the environment for symbolic and numeric computations, called SYNAPS (Symbolic and Numeric APplicationS) and developed in C++. Its aim is to provide a coherent platform integrating many of the nowadays freely available software in scientific computing. The approach taken here is inspired by the recent paradigm of software developments called active library. In this paper, we explain...

Numeric versus Symbolic Computation

Twentyfive years ago when I studied Physics, only one of the students who participated in a laboratory course that I took was possessing one of the first calculators to process the data we were obtaining. Believe it or not, everybody else, including me, had to use a slide-rule for this purpose. Nowadays, the calculator is used by everybody, by far not only for academic purposes. Hence it is the...